Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
731	Title Blended learning 4-pack Improving student learning 4-pack 2010 Add to Reading List Source URL: www.liberty.edu Language: English - Date: 2013-10-01 09:30:26 Category theory Stack Star Trek: Deep Space Nine Science fiction Television Algebraic geometry Algebraic stack
732	MICHAEL ESFELD Do Relations Require Underlying Intrinsic Properties? A Physical Argument for a Metaphysics of Relations 1. Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:40:56 Supervenience Intrinsic and extrinsic properties Category of being Property Substance theory Reality Causality Idealism Intrinsic value Metaphysics Philosophy Ontology
733	UN DESSIN6S D’ENFAN6TCE LIEVEN LE BRUYN A BSTRACT. This is a slightly extended version of a talk given at the conference in honour of Jacques Alev’s 60th birthday. Add to Reading List Source URL: matrix.cmi.ua.ac.be Language: English - Date: 2009-05-20 11:51:54 Algebraic geometry Algebraic groups Category theory Algebraic structures Spectrum of a ring Group scheme Lie algebra Coalgebra Representation theory Abstract algebra Algebra Scheme theory
734	C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES F. W ILLIAM L AWVERE Toward the description in a smooth topos of the Add to Reading List Source URL: archive.numdam.org Language: English - Date: 2008-04-09 04:34:19 Sheaf theory Algebraic topology Vectors Algebraic geometry Topos Sheaf Category Grothendieck topology Calculus of variations Algebra Abstract algebra Mathematics
735	Strong homotopy algebra categories via co-rings over operads Jonathan Scott Ontario Topology Seminar July 31, [removed] Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-08-07 15:14:31 Algebras Coalgebra Associative algebra Operad theory Lie algebra F-coalgebra Rational homotopy theory Abstract algebra Category theory Mathematics
736	Lecture Notes: Introduction to Categorical Logic [DRAFT: January 15, 2003] Steven Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:16 Algebraic structures Mathematical structures Mathematical logic Algebraic theory Structure Sheaf Group theory Cartesian closed category Model theory Mathematics Algebra Abstract algebra
737	Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-10-27 04:45:47 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
738	Topics in algebraic geometry Lecture notes of an advanced graduate course Caucher Birkar ([removed]) Add to Reading List Source URL: www.dpmms.cam.ac.uk Language: English - Date: 2010-03-05 16:56:44 Homological algebra Sheaf theory Sheaf Derived functor Local cohomology Direct image functor Coherent sheaf Grothendieck topology Exact functor Abstract algebra Category theory Algebra
739	Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms Ralf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England [removed] Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-03-21 10:34:15 Recursion Adjoint functors Fold Functor Function Anamorphism Sheaf Universal property Μ operator Mathematics Category theory Functions and mappings
740	DRAFT: Category Theory for Computer Science J.R.B. Cockett 1 Department of Computer Science, University of Calgary, Calgary, T2N 1N4, Alberta, Canada October 16, 2009 Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2009-10-16 18:53:43 Functors Functions and mappings Enriched category Category Natural transformation Equivalence relation Coequalizer Equivalence of categories Function Mathematics Category theory Mathematical analysis

UPDATE